On Conjectures of Andrews and Curtis
نویسندگان
چکیده
منابع مشابه
On the Andrews-Curtis equivalence
The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of \elementary transformations" which are Nielsen transformations augmented by arbitrary conjugations. It is a prevalent opinion that this conjecture is false; however, not many potential counterexamples are known. In this paper, we show that some of the pr...
متن کاملThe Finitary Andrews-Curtis Conjecture
The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent importance for computational group theory. It also resolves a question asked in [5] and shows that a computation in finite groups cannot lead to a counterexam...
متن کاملGenetic algorithms and the Andrews-Curtis conjecture
The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be transformed into the trivial presentation by a finite sequence of “elementary transformations” which are Nielsen transformations together with an arbitrary conjugation of a relator. It is believed that the Andrews-Curtis conjecture is false; however, not so many possible counterexamples are known. ...
متن کاملFitness Landscapes and the Andrews-Curtis Conjecture
JERRY SWAN1, GABRIELA OCHOA1, GRAHAM KENDALL1, MARTIN EDJVET2 1Automated Scheduling, Optimisation and Planning (ASAP) Research Group, School of Computer Science and Information Technology, University of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1BB, UK. Tel.: (+44) (0)115 846 6504, Fax: +44 (0)115 846 7877. 2School of Mathematical Sciences, University of Nottingham, University P...
متن کاملAndrews-Curtis and Todd-Coxeter proof words
Andrews and Curtis have conjectured that every balanced presentation of the trivial group can be transformed into a standard presentation by a finite sequence of elementary transformations. It can be difficult to determine whether or not the conjecture holds for a particular presentation. We show that the utility PEACE, which produces proofs based on Todd-Coxeter coset enumeration, can produce ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2018
ISSN: 0002-9939,1088-6826
DOI: 10.1090/proc/13710